#include <string.h>
#include <stdio.h>
#include <stdlib.h>


void ExtraerFichero(char CadenaCar[], FILE *fichero)
{
	int del=58, pos;
	char Letra;
	
	for (pos=0;(Letra=getc(fichero))!= del;pos++)
	{
		CadenaCar[pos]=Letra;
	}

	CadenaCar[pos]=0;
}